241. Concurrency:
پدیدآورنده: edited by Akinori Yonezawa, Takayasu Ito.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer hardware.,Computer science.,Logic design.
رده :
QA76
.
58
E358
1991
242. Concurrency, Compositionality, and Correctnes
پدیدآورنده: / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Software engineering.,Computer software.,Logic design.
243. Concurrency and Nets :
پدیدآورنده: edited by Klaus Voss, Hartmann J. Genrich, Grzegorz Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.
رده :
QA267
.
E358
1987
244. Connectomics in neuroimaging :
پدیدآورنده: Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Brain-- Imaging, Congresses.,Brain mapping, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Brain-- Imaging.,Brain mapping.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.
رده :
RC386
.
6
.
B7
245. Constraint Databases
پدیدآورنده: edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.
رده :
QA76
.
9
.
C67
E358
2000
246. Constructive Methods in Computing Science :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
247. Contemporary logic design
پدیدآورنده: / Randy H. Katz
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Circuits -- Design,Integrated circuits -- Very large scale integration -- Design -- Data processing,Logic design -- Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
248. Cryptographic hardware and embedded system, CHES 2003 :
پدیدآورنده: Colin D. Walter, Cetin K. Koç, Christof Paar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security -- Congresses.,Cryptography -- Congresses.,Embedded computer systems -- Congresses.
249. Current trends in concurrency :
پدیدآورنده: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
250. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
251. DLP : a language for distributed logic programming : design, semantics, and implementation
پدیدآورنده: Eliens, Anton.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
252. Data Mining and Reverse Engineering :
پدیدآورنده: edited by Stefano Spaccapietra, Fred Maryanski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information storage and retrieval systems.
رده :
QA76
.
9
.
D3
E358
1998
253. Data Types and Persistence
پدیدآورنده: edited by Malcolm P. Atkinson, Peter Buneman, Ronald Morrison.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Operating systems (Computers)
رده :
QA76
.
9
.
D35
E358
1988
254. Data driven treatment response assessment and preterm, perinatal, and paediatric image analysis :
پدیدآورنده: Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Diagnostic imaging-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Algorithms & data structures.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Logic Design.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Medical-- General.,Program concepts-- learning to program.
رده :
RC78
.
7
.
D53
255. Databases and Information Systems :
پدیدآورنده: edited by Janis Barzdins, Albertas Caplinskas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
256. Datenmodellierung mit deduktiven Techniken
پدیدآورنده: von Gustaf Neumann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science),Economics.,Logic design.
رده :
QA76
.
9
.
D26
V664
1994
257. Deep Fusion of Computational and Symbolic Processing
پدیدآورنده: edited by Takeshi Furuhashi, Shun'Ichi Tano, Hans-Arno Jacobsen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
258. Delta-4:
پدیدآورنده: edited by David Powell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
D5
E358
1991
259. Dependable computing--EDCC-1 :
پدیدآورنده: Klaus Echtle, Dieter Hammer, David Powell, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
رده :
QA76
.
9
.
F38
K538
1994
260. Descriptional complexity of formal systems :
پدیدآورنده: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
